1

Modular abstractions for verifying real-time distributed systems

Year:
1993
Language:
english
File:
PDF, 1.56 MB
english, 1993